Словарь по логике - отношение симметричное

бинарное (двухместное) отношение R, определенное на некотором множестве и характеризующееся тем, что для любых элементов х и у этого множества из того, что х находится к у в отношении R(xRy), следует, что и у находится в том же отношении к х(у Rx). Примером О. с. может быть равенство (=), отношение типа равенства,  подобия, одновременности, некоторые отношения родства и др. Так, отношение братства симметрично (если речь идет о любых лицах мужского пола), поскольку является истинным предложение: "Если х является братом у, то и у является братом х" (напр., если Иван брат Петра, то и Петр брат Ивана).